Using Explicit State to Describe Architectures(*)
نویسندگان
چکیده
In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support non-determinism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.
منابع مشابه
A NEW APPROACH TO THE SOLUTION OF SENSITIVITY MINIMIZATION IN LINEAR STATE FEEDBACK CONTROL
In this paper, it is shown that by exploiting the explicit parametric state feedback solution, it is feasible to obtain the ultimate solution to minimum sensitivity problem. A numerical algorithm for construction of a robust state feedback in eigenvalue assignment problem for a controllable linear system is presented. By using a generalized parametric vector companion form, the problem of eigen...
متن کاملمحاسبات توماس- فرمی برای تعیین خواص بحرانی ماده هسته‌ای متقارن براساس رهیافت جرم مؤثر تعمیم‌یافته
Using mean-field and semi-classical approximation of Thomas-Fermi, within a statistical model, equation of state and critical properties of symmetric nuclear matter is studied. In this model, two body and phenomenological interaction of Myers and Swiatecki is used in phase space. By performing a functional variation of the total Helmholtz free energy of system with respect to the nucleonic di...
متن کاملExplaining the Role of Geometry and Imagination in Creation of Unique Architectures
A In this article the role of geometry and its interaction with imagination in creating the unique architectural will be explained. From long time ago philosophers and prominents have referred to important role that imagination and geometry have in the creation of universe. All over the universe, the emergence of geometry at beginning of creation is undeniable. Geometry with its manifestation a...
متن کاملBreaking the GOP/Watt Barrier with EDGE Architectures
Achieving excellent power/performance ratios is easy for processor designs that have sufficiently low performance needs. The techniques traditionally used to extract higher levels of performance from RISC or CISC architectures, however, have either exacerbated power limitations or placed an undue burden on the programmer. In this paper, we describe how Explicit Data Graph Execution (EDGE) archi...
متن کاملThe Structure of a Compiler for Explicit and Implicit Parallelism
We describe the structure of a compilation system that generates code for processor architectures supporting both explicit and implicit parallel threads. Such architectures are small extensions of recently proposed speculative processors. They can extract parallelism speculatively from a sequential instruction stream (implicit threading) and they can execute explicit parallel code sections as a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998